3

Software engineering education: Rôles of formal specification and design calculi

Рік:
1998
Мова:
english
Файл:
PDF, 258 KB
english, 1998
5

The plasticizing effect of alginate on the thermoplastic starch/glycerin blends

Рік:
2008
Мова:
english
Файл:
PDF, 922 KB
english, 2008
6

Tangible convex bodies. Appendix to “Multivariable Wiener-Hopf Operators I”

Рік:
1986
Мова:
english
Файл:
PDF, 438 KB
english, 1986
12

Irreducibility of Toeplitz C⋆-algebras

Рік:
1986
Мова:
english
Файл:
PDF, 277 KB
english, 1986
13

Fredholm operator families —II

Рік:
1984
Мова:
english
Файл:
PDF, 402 KB
english, 1984
14

Fredholm operator families -I

Рік:
1983
Мова:
english
Файл:
PDF, 425 KB
english, 1983
15

SoSyM Special Section on Software Engineering and Formal Methods

Рік:
2007
Мова:
english
Файл:
PDF, 46 KB
english, 2007
20

[Lecture Notes in Computer Science] Smart Grid Security Volume 7823 ||

Рік:
2013
Мова:
english
Файл:
PDF, 20.08 MB
english, 2013
22

[Lecture Notes in Computer Science] Smart Grid Security Volume 8448 ||

Рік:
2014
Мова:
english
Файл:
PDF, 12.28 MB
english, 2014
26

The Use of Ultrasound for Localizing Renal Calculi

Рік:
1961
Мова:
english
Файл:
PDF, 162 KB
english, 1961
34

Further studies on the mechanism of action of gossypol on mitochondrial membrane

Рік:
1993
Мова:
english
Файл:
PDF, 1.23 MB
english, 1993
38

Foreword

Рік:
2000
Мова:
english
Файл:
PDF, 43 KB
english, 2000
39

Stainless steel microbeads coated with sulfonated polystyrene-co-divinylbenzene

Рік:
2003
Мова:
english
Файл:
PDF, 1.13 MB
english, 2003
41

Automated Reasoning for Security Protocol Analysis

Рік:
2006
Мова:
english
Файл:
PDF, 43 KB
english, 2006
43

Preparation and characterization of a dye–ligand adsorbent for lysozyme adsorption

Рік:
2008
Мова:
english
Файл:
PDF, 1.49 MB
english, 2008